[计] 命题动态逻辑 propositional logic: 命题逻辑boolean algebra of propositional logic: 命题逻辑布尔代数boolean propositional logic, bpl: 是常用的布尔命题逻辑formula of propositional logic: 命题逻辑公式fuzzy propositional logic: 模糊命题逻辑下载手机词典可随时随地查词查翻译